否 (無・不・非) 計算
計算不可能
計算不可能性
Chaitin の定數 (Chaitin's constant。停止確率 (halting probability))$ \Omega_F 接頭屬性をもつ計算完備 (Turing 完全) な計算可能函數$ F(p,x)の定義域を$ P_Fとして、$ \Omega_F:=\sum_{p\in P_F}2^{-|p|}。ここで$ |p|は文字列$ pの長さ
$ F(p,x)は、有らゆる計算可能函數$ f(x)に對して$ \forall f\exist p\forall x(f(x)=F(p,x))
$ pは$ f(x)を表現する program を意味する。$ Fは有らゆる program$ pを實行できる萬能 Turing 機械と見做せる $ Fの定義域となる任意の program$ pが、同じく定義域に屬する任意の他の program の接頭辭になってゐないならば、$ Fは接頭属性をもつ
$ 0\le\Omega_F\le 1
計算の物理的な限界
energy$ Eの量子系は、ある狀態からその直交狀態へ遷移するのに少なくとも$ \frac h{4E}の時閒を要する CHSH 不等式 (Clauser-Horne-Shimony-Holt (CHSH) inequality)
$ -2\le\lang ab\rang+\lang a'b\rang-\lang ab'\rang+\lang a'b'\rang\le 2
量子情報の保存則
未決定
事象は明確、事象が起こるか不確實→確率 (random)・尤度・統計。complicated 統計力學
因果不能
P≠NP
複雜系
否情報